CINECA IRIS Institutional Research Information System

Sfoglia per Serie  LECTURE NOTES IN COMPUTER SCIENCE

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 124 a 143 di 323
Titolo Data di pubblicazione Autore(i) File
I-Java: an extension of Java with incomplete objects and object composition 2009 Lorenzo Bettini; Viviana Bono; Erica Turin
Identification, Validation and Certification of previous skills to support vulnerable worker in post pandemic dynamics 2022 D.Robasto
The Impact of CPU Frequency Scaling on Power Consumption of Computing Infrastructures 2020 Adriano Marques Garcia, Matheus Serpa, Dalvan Griebler, Claudio Schepke, Luiz G. L. Fernandes, Philippe O. A. Navaux
An Imperative First-Order Calculus with Object Extension 1998 V. Bono;K. Fisher
The Implementation of ASSIST, an Environment for Parallel and Distributed Programming 2004 Marco Aldinucci; Sonia Campa; Pierpaolo Ciullo; Massimo Coppola; Silvia Magini; Paolo Pesciullesi; Laura Potiti; Roberto Ravazzolo; Massimo Torquati; Marco Vanneschi; Corrado Zoccolo
Implementing Session Centered Calculi 2008 Lorenzo Bettini; Rocco De Nicola; Michele Loreti
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker 2013 Amparore, Elvio Gilberto; and Donatelli, Susanna
An inference algorithm for strictness 1997 Ferruccio Damiani; Paola Giannini
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions 2013 Coppo, Mario; Dezani, Mariangiola; Padovani, Luca; Nobuko, Yoshida
Information diffusion in complex networks: a model based on hypergraphs and its analysis 2020 Antelmi A.; Cordasco G.; Spagnuolo C.; Szufel P.
Innovative TV: From an Old Standard to a New Concept of Interactive TV - An Italian Job 2007 R. Simeoni; L. Eltzer; E. Guercio; M. Perrero; A. Rapp; R. Montanari; F. Tesauri
Interaction with Web Services in the Adaptive Web 2004 ARDISSONO L; GOY A; PETRONE G; SEGNAN M
Interactive chart of story characters’ intentions 2016 Lombardo, Vincenzo; Pizzo, Antonio; Damiano, Rossana; Terzulli, Carmi; Albert, Giacomo
Interconnection of large scale unstructured P2P networks: modeling and analysis 2013 V. Ciancaglini; R. Gaeta; R. Loti; L. Liquori
Internal Normalization, Compilation and Decompilation for System F 2010 Stefano Berardi; Makoto Tatsuta
Interpretations of Extensible Objects and Types 1999 V. Bono;M. Bugliesi
Intersection Logic 2001 S. RONCHI DELLA ROCCA; L. ROVERSI
Intersection Types for the Resource Control Lambda Calculi 2011 Silvia Ghilezan; Jelena Ivetić; Pierre Lescanne; Silvia Likavec
Intersection, Universally Quantified and Reference Types 2009 M. Dezani; P. Giannini; S. Ronchi Della Rocca
Introduction to the track on variability modeling for scalable software evolution 2016 Damiani, Ferruccio; Seidl, Christoph; Yu, Ingrid Chieh
Mostrati risultati da 124 a 143 di 323
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile